Nuprl Definition : eclthrow 11,40
eclthrow(a; n) == inr inr inr inr inr inr (inl <a, n> )       
latex

Definitionsinr x , inl x , <a, b>
FDL editor aliaseseclthrow, eclthrow

origin